1. Foundations of logic and mathematics: applications to computer science and cryptography
پدیدآورنده : Nievergelt, Yves
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Set theory,، Number theory,، Computer science-- Mathematics
رده :
QA
9
.
N53
2002
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
2. Foundations of logic and mathematics : applications to computer science and cryptography
پدیدآورنده : Nievergelt, Yves
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Set theory,، Number theory,، Computer science -- Mathematics
رده :
QA
9
.
N53
2002
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
3. Foundations of logic and mathematics : applications to computer science and cryptography
پدیدآورنده : Nievergelt, Yves, 4591-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Set theory,، Number theory,، Computer science
رده :
QA
9
.
N5
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
4. Proof, logic, and conjecture : the mathematician's toolbox
پدیدآورنده : Wolf, Robert S.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Set theory,، Number theory
رده :
QA
9
.
W65
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
5. Sets, logic
پدیدآورنده : Dodge, Clayton W.,]by[ Clayton W. Dodge
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Number theory,، Logic, Symbolic and mathematical,، Set theory
رده :
QA
241
.
D6
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)